Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
221	Semantic image analysis using a symbolic neural architecture Add to Reading List Source URL: www.islab.ntua.gr Language: English - Date: 2014-01-05 10:23:57 Mathematical logic Fuzzy logic Non-classical logic Computational neuroscience Learning Neuro-fuzzy Support vector machine Fuzzy concept Segmentation Logic Science Artificial intelligence
222	Kinds of Contexts and their Impact on Semantic Similarity Measurement Krzysztof Janowicz Institute for Geoinformatics, University of Muenster, Germany Add to Reading List Source URL: geog.ucsb.edu Language: English - Date: 2011-07-21 01:34:35 Computational linguistics Knowledge Semantic Web Semantic similarity Technical communication Knowledge representation Description logic Similarity Knowledge representation and reasoning Science Information science Geometry
223	25th Anniversary Issue Reconsiderations Nils J. Nilsson ■ In 1983, I gave the AAAI president’s address titled Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2006-02-23 13:22:58 Programming paradigms Ethology Philosophy of artificial intelligence Computational neuroscience Neats vs. scruffies Open problems Logic programming Artificial intelligence Nils Nilsson Science Knowledge Reasoning
224	Scheduling Sport Tournaments using Constraint Logic Programming Andrea Schaerf Dipartimento di Informatica e Sistemistica Universit` a di Roma “La Sapienza” Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:14 Applied mathematics Mathematical optimization Combinatorial optimization Complexity classes Constraint logic programming Logic programming Constraint Matching Assignment problem Theoretical computer science Constraint programming Computational complexity theory
225	i arine Data e-Infrastructure Initiative for Fisheries Management and Conservation of Marine Living Resources Add to Reading List Source URL: imdis2013.seadatanet.org Language: English Data mining Computational statistics Mathematics Logic Science Data analysis Distributed computing Algorithm
226	Preliminaries Decision Problems Optimisation Problems Descriptive Complexity of Optimisation Problems Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-03-11 07:07:10 Mathematics Computational complexity theory Logic Model theory FO Structure P SO Descriptive complexity theory Applied mathematics Complexity classes Finite model theory
227	The rôle of experiments in Analysis of Algorithms Conrado Martínez Univ. Politècnica de Catalunya, Spain April 2008 Add to Reading List Source URL: www.ime.usp.br Language: English - Date: 2008-04-23 13:52:11 Applied mathematics Machine learning Algorithms Computer science Computational linguistics Theoretical computer science Mathematical logic Mathematics
228	Relevance in Open Domain Question Answering: Theoretical Framework and Application Marco De Boni Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2009-01-15 09:59:10 Information retrieval Natural language processing Computational linguistics Pragmatics Logical consequence Relevance Question answering Inference Open domain question answering Science Logic Information science
229	Open Access et al. Smith 2008 Volume Add to Reading List Source URL: www.genomebiology.com Language: English Bioinformatics Logic Markov models Natural language processing Information science BioCreative Part-of-speech tagging Conditional random field Word-sense disambiguation Science Computational linguistics Linguistics
230	Equivalences for Fair Kripke Structures Adnan Aziz∗ Robert Brayton‡ Felice Balarin† Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2005-09-23 01:02:50 Mathematical logic Mathematics Computation tree logic Bisimulation Kripke structure Model theory Equivalence relation CTL* Fair computational tree logic Temporal logic Logic in computer science Theoretical computer science

UPDATE